x,y. d(x +r (-r(y)))),(x,y. true
),+r,0,-r,*,1,
r>
clarification:
r / d == <Carrier(r/d),(
x,y. d(x +r (-r(y)))),(x,y. true),+r,(0r),-r,(*r),(1r),r> | 6,26 |
x,y. d(x +r (-r(y)))),(x,y. true),+r,0,-r,*,1,r>
x,y. d(x +r (-r(y)))),(x,y. true),+r,(0r),-r,(*r),(1r),r>
| Definitions | r |